Basic deformation theory of smooth formal schemes

Basic Deformation Theory of Smooth Formal Schemes

We provide the main results of a deformation theory of smooth formal schemes as defined in [2]. Smoothness is defined by the local existence of infinitesimal liftings. Our first result is the existence of an obstruction in a certain Ext group whose vanishing guarantees the existence of global liftings of morphisms. Next, given a smooth morphism f0 : X0 → Y0 of noetherian formal schemes and a cl...

Basic Theory of Affine Group Schemes

Local Structure Theorems for Smooth Maps of Formal Schemes

We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in [3]. In this paper, we focus on some properties which arise specifically in the formal context. In this vein, we make a detailed study of the relationship between the infinitesimal lifting properties of a morphism of formal schemes and those of the corresponding maps of usual s...

Formal Language for Business Communication: Sketch of a Basic Theory

Progress in research on developing a general-purpose formal language for business communications (FLBC) has been substantial. Key distinctions have been made, important concepts identified, and impressive prototypes implemented. The purpose of this paper is to present succinctly the basic elements of a complete (logical) theory for an FLBC. These elements include speech act theory, event semant...

A Temporal Theory for the Basic Formal Ontology: Theorem Proofs

This document contains theorem proofs for the paper A Temporal Theory for the Basic Formal Ontology. Section 1: Introduction In the following we use P , P ′, P1, . . . and p, p′, p1, . . . to range over occurrent classes and instances, respectively. We use C, C ′, C1, . . . and c, c′, c1, . . . to range over continuant classes and instances. We also use U , U ′, U1, . . . and u, u′, u1, . . . t...